<html>
<body>
Checks that every rule has unique name. <br> <br>
</body>
</html>